Zaslat SMS: Residuated lattices