State/State/Uniqueness of inverse elements in a monoid 1