"commutative nil-semigroup" . . . "commutative nil-semigroup" .