Text this: Compact semitopological semigroups :