 In an undated typescript newly published in The Collected Works (n.d., [BE: 928]), Church formulates conditions required for the derivation of the Berry paradox within STT and indicates how it is resolved in RTT. He uses Val to formulate a condition giving the “Berry number” of a formula. His formulation is quite similar to that found in Boolos et al. [2007: 228). But in this short note he does not give a derivation of the paradox within STT.