Acomodando cositas de LambdaLeq.