N -> M