 The reinterpretation of the undecidedness intuition at line (iv) gives us a claim that is classically, but not intuitionistically, equivalent to Und. And so, it is only classically, and not intuitionistically, inconsistent with the inference at line (iii).