 Finally, this entry has not, as yet, discussed precursors to Brouwer, more intricate aspects of Brouwer’s “strong counterexamples”, the objections to the Proof Interpretation of circularity and impredicativity, or the later developments around the Proof Interpretation. These will be subject of future updates.