"f" 3) (λ "x".