update semigroups to use some1