M : ls proposition,