 In an important paper but one still not widely discussed in print, “A Comparison of Russell’s Resolution of the Semantical Antinomies with that of Tarski” (1976), reprinted with some additions and corrections in Martin (1984) and The Collected Works (2019), Church does the following: