Residuated Lattices by