Email Record: Residuated lattices :