State/Uniqueness of identity element in a monoid 1