 In the following, we focus on Church’s Russellian resolution of GP and leave aside most of the remaining issues. In this we are aided by a simplified account of the matter prepared by Church (1995a). The simplification does not omit anything essential to the argument of Church (1976) regarding GP specifically. It is clear that a main concern of Church was to communicate once and for all Russell’s resolution of the semantic paradoxes to a wider audience.