 There exists \(y\) such that \(y\) is the Gödel number of a proof of the formula with Gödel number \(x\), AND there does not exist \(z\) smaller than \(y\) such that \(z\) is the Gödel number of a proof the negation of the formula with Gödel number \(x\).