 Deriving \(\neg Kp \rightarrow \neg p\) and \(\neg K\neg p \rightarrow \neg \neg p\) from (ii), and applying the conjuncts of (i), respectively, gives us the contradiction \(\neg p \wedge \neg \neg p\). The intuitionist anti-realist is forced to admit absurdly that there are no undecided statements: 