 While we cannot go into the details of Garson’s program here, its aim should be noted: to arrive at the ‘natural semantics’ implicit in the rules governing a connective # (here assumed n-ary) in the sense of a characterization of their global range as comprising those V of valuations satisfying a condition of the form: ∀u ∈ V, u(#(φ1,…,φn)) = T if and only if …, where the dots are replaced by something which would render this biconditional suitable as a clause in the inductive definition of truth on a valuation u ∈ V. Garson worries about the use of ≤ on this score in what we are calling [∨]Garson (and has various suggestions to offer), as well as about the explicit quantification over χ which introduces an potential element of circularity or impredicativity (in particular because χ need not have a lower complexity—be constructed with the aid of fewer primitive connectives, that is—than φ ∨ ψ itself); related concerns are aired in Woods (2013). One way of getting rid of the latter feature is to massage [∨]Garson into the following equivalent form, which makes extensive use of conjunctive combinations of valuations, and uses the notation |χ| which, for a formula χ, denotes the set of v∈ V such that v(χ) = T: