 A second strong indication that the later Wittgenstein maintains his finitism is his continued and consistent treatment of ‘propositions’ of the type “There are three consecutive 7s in the decimal expansion of \(\pi\)” (hereafter  ‘PIC’).[4]  In the middle period, PIC (and its putative negation, \(\neg\)PIC, namely, “It is not the case that there are three consecutive 7s in the decimal expansion of \(\pi\)”) is not a meaningful mathematical “statement at all” (WVC 81–82: note 1). On Wittgenstein’s intermediate view, PIC—like FLT, GC, and the Fundamental Theorem of Algebra—is not a mathematical proposition because we do not have in hand an applicable decision procedure by which we can decide it in a particular calculus. For this reason, we can only meaningfully state finitistic propositions regarding the expansion of \(\pi\), such as “There exist three consecutive 7s in the first 10,000 places of the expansion of \(\pi\)” (WVC 71; 81–82, note 1).