SMS: Semigroups