 Brouwer used arguments that involve the Creating Subject to construct counterexamples to certain intuitionistically unacceptable statements. Where the weak counterexamples, to be discussed below, only show that certain statements cannot, at present, be accepted intuitionistically, the notion of the idealized mind proves certain classical principles to be false. An example is given in Section 5.4 on the formalization of the notion of the Creating Subject. There it is also explained that the following principle, known as Kripke’s Schema, can be argued for in terms of the Creating Subject: 