 where the right-hand side expresses a second-order equivalence relation Ψ between F and G, and is stated without use of @. But that does not preclude instances of such a principle where either F or G, or both, contain occurrences of @. 