Text this: Analysis on semigroups :