@Jonathan: you're too fast ;) You're right, I was being sloppy, but I've fixed my comment now. It can be reduced to a four-element monoid.