 But he welcomed Heyting’s formalization of intuitionism as providing needed clarification. Later in a discussion of intuitionistic objections to logicism, he pointed out that Heyting’s work was a concession to the method of logistic characteristic of logic, and hence in tension with Brouwer’s view that mathematics is prior to logic (1962b [BE: 611]). The point is a powerful one. Even those seeking to replace, for example, Kripke’s proof within classical logic of the completeness of intuitionistic propositional calculus, with an intuitionistically acceptable argument, have had to use the logistic method in their investigation.