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