mmn

completeness