i'm v interested w.r.t. semigroups