[math-fun] Oblong conjecture