mmn

deduces