"M" tiene una única regla de inferencia: de φ se puede inferir φ"a"