Text this: Binary closure operators