NC
SEMIGROUPS_
OneMutable
MonoidByGenerators
SemigroupByGenerators
InverseOp
