Pātuhitia tēnei: Residuated lattices