mmn

counterexamples