If x and y have exactly the same properties, then x=y. This is the converse of Leibnizâ Law. It is a controversial statement.