/math/hs-semigroups/