M : !s proposition.