Starting to think about semigroups.