M : ( sproposition