M ; t attproposition