Text this: Inverse semigroups :