 This can be made to look as though it is just a terminological issue about how to best use phrases like “nothing over and above” and “ontological innocence”. But there are very real issues here. The central difference between the two sides is that one emphasizes the fact that the two kinds of properties or entities are numerically distinct, and the other emphasizes the fact that there is nonetheless a close nonidentity relation between them. And what matters in any given case is i) just which particular nonidentity relation holds, and ii) whether the fact that that relation holds is enough to defuse whatever problem is on the table. 