 for every formula \(\phi(v)\) positive in both \(T\) and \(F\), where \(\phi '\) represents the De Morgan dual of \(\phi\) (exchanging \(T\) for \(F\) and vice versa). From an application of uniform reflection over this disquotational theory, the truth axioms for the corresponding two predicate version of KF are derivable (Horsten and Leigh, 2016). The converse also holds, as does the generalisation to finite and transfinite iterations of reflection (Leigh, 2017). 