 Another line of research in intuitionistic logic concerns Brouwer’s controversial “creating subject counterexamples” to principles of classical analysis (such as Markov’s Principle) which could not be refuted on the basis of the theory \(\mathbf{FIM}\) of Kleene and Vesley [1965]. By weakening Kleene’s strong form of Brouwer’s principle of continuous choice, and adding an axiom he called Kripke’s Schema (KP), Myhill [1967] formalized Brouwer’s creating subject arguments in the language of intuitionistic analysis. Krol [1978] and Scowcroft gave topological consistency proofs for intuitionistic analysis with Kripke’s Schema and weak continuity. Kripke himself preferred Weak Kripke’s Schema (WKP), which still conflicts with strong continuous choice. Kripke [2019] and Brauer, Linnebo and Shapiro [2022] recently provided an attractive modal interpretation of Brouwer’s theory of the creating subject.