 From this follows the principle known as Kripke’s Schema KS, introduced in Section 2.2, a principle that unlike the axioms of the theory of the Creating Subject, contains no explicit reference to time: \(\exists \alpha (A \leftrightarrow \exists n \alpha(n) = 1)\).