mmn

conjecture