Residuation theory | lit.salon