M : ’ bproposition