M ; ts propositionom