dedekinds problem