[math-fun] Midlevels Conjecture