mod: mod m->M