 Graham Oppy (2003) suggests a way to defeat the foregoing argument. Oppy (in effect) rejects the inference from (2) and (3) to (4). Given the truth of ‘God is powerful’ and ‘Socrates is powerful,’ it does not follow that there is a property expressed by the predicate ‘powerful’ that is shared by God and Socrates. On Oppy’s approach, both sentences are true, and the predicate ‘powerful’ has the same sense in both sentences. There is no equivocation and no analogy either. It is just that there is no one property that is expressed by the predicate in its two occurrences. If this right, then there is no warrant for (4) and the above argument against DDS collapses.