 Vesley [1970] found an alternative principle (Vesley’s Schema VS) which can consistently be added to \(\mathbf{FIM}\) and implies all the counterexamples for which Brouwer required a creating subject. Troelstra’s generalized continuous choice (GC), which characterizes Kleene’s function-realizability just as his ECT characterizes number-realizability, and Vesley’s VS express two incompatible possible extensions of intuitionistic analysis, with different mathematical properties.