M : !S proposition anmärker,