M ; ts propositioner :med