Text this: Laws for generalised interior operations in semigroups.