M : ( s proposition,