allow semigroups 0.15