M : s proposition.