If then, and have exactly the same properties. The contrapositive is:

  • and dont have the same properties It is easy to accept Leibniz’s law but difficult to accept its converse which is Identity of Indiscernables.