 In a certain form, this contradiction actually rose up to bite Church himself, because Myhill (1958) was able to derive a version of it within Church’s initial formulation of LSD. Thus it has come to be called “the Russell-Myhill paradox (RM)”. In fact, RM can be deployed to prove the inconsistency of popular accounts of propositions such as that of Soames (1987, 2010; see Deutsch 2008, 2014, 2019). Recently, however, higher order versions of RM have enjoyed attention from philosophers seeking to draw metaphysical morals (Goodman 2017; Uzquiano 2015). These writers see the contradiction as a proof that Russell’s Structure principle is false. But neither Russell nor Church saw it that way. Russell left the problem open and Church turned to RTT for a resolution.