 Interestingly, we now have two pieces of evidence (Kreisel 1998: 119; Rodych 2003: 282, 307) that Wittgenstein wrote (RFM App. III) in 1937–38 after reading only the informal, ‘casual’ (MS 126, 126–127; Dec. 13, 1942) introduction of (Gödel 1931) and that, therefore, his use of a self-referential proposition as the “true but unprovable proposition” may be based on Gödel’s introductory, informal statements, namely that “the undecidable proposition [\(R(q);q\)] states… that [\(R(q);q\)] is not provable” (1931: 598) and that “[\(R(q);q\)] says about itself that it is not provable” (1931: 599). Perplexingly, only two of the four famous reviewers even mentioned Wittgenstein’s (RFM VII, §§19, 21–22, 1941)) explicit remarks on ‘Gödel’s’ First Incompleteness Theorem (Bernays 1959: 2; Anderson 1958: 487), which, though flawed, capture the number-theoretic nature of the Gödelian proposition and the functioning of Gödel-numbering, probably because Wittgenstein had by then read or skimmed the body of Gödel’s 1931 paper.