Text this: Inverse semigroups /