DE for lambda