mmn

subsumed