Cambios principales sobre lambda arrow y leq.