mmn

precondition