"x" "x") (λ "x".