ores conjecture