 Now let φ1 and φ2 any two classically non-equivalent formulas in the same variables, p1,…, pn for definiteness, and consider the consequence relations ⊢1 and ⊢2, where ⊢1 is the restriction of ⊢CL to formulas constructed using the n-ary connective # defined thus: