Email Record: Residuation theory