 The version of Russell’s paradox which Curry’s first method resembles is the one that concerns property exemplification. Its topic is the property of being such that one fails to exemplify oneself. We obtain a property-theoretic Curry sentence by considering instead the property of being such that one exemplifies oneself only if time is infinite. Say that we introduce the name \(h\) for that property, by stipulating \(h =_{def} [x: x \ \epsilon \ x {\rightarrow}\pi]\), where the sentence \(\pi\) says that time is  infinite.[7]  Applying the principle  (Property)  to the sentence \(h \ \epsilon \ h\), we find: