Factor out mkMN.