 The most commonly agreed on distinguishing feature of identity is that it conforms to the Indiscernibility of Identicals, what was earlier called Leibniz's Law. Taking ‘∀F’ to be a quantifier ranging over properties, here is one way to formulate Leibniz's Law: