M ; ts propositiontill