Text this: Residuation theory /