Text this: Measures on topological semigroups :