M : !S proposition häromföre-