 Using Kripke’s Schema, the weak counter example arguments can be expressed formally without any reference to the Creating Subject. The following example is taken from (van Atten 2018). Let A be a statement for which at present \(\neg A \vee \neg\neg A\) is not known to hold. Using KS one obtains choice sequences \(\alpha_1\) and \(\alpha_2\) such that 