 (The first conjunct in the antecedent is simply to guarantee that ‘φ’ picks out a non-empty set, while in the consequent the variable ‘z’ is assumed not to occur free in ‘ψ’.) The three binary sum axioms corresponding to the schema in (P.12ξ,i) can be strengthened in a similar fashion as follows: