Uses of Interface
fj.Semigroup.Definition