(λ "x".