 The idea is essentially this. Suppose that something is an H if and only if it is either an F or a G. One can easily see that if a is H and b is H, it does not follow that there is some one property that they share. For it might be that a is H in virtue of a’s exemplifying F-ness and b is H in virtue of b’s exemplifying G-ness. Applied to Socrates and the simple God: Socrates is powerful in virtue of exemplifying P1 while God is powerful in virtue of exemplifying P2. Thus there is no one property, the property of being powerful, that both exemplify. So (4) above is false, and the argument against DDS collapses. Since a full defense of Oppy’s defense of DDS is beyond the scope of the present entry, we shall focus on a second way of defusing the objection. 