$M cannot be emptied any further