Text this: Residuation theory