 Two laws are associated with Leibniz. The first is the Indiscernibility of Identicals: for any two objects, if they’re identical, then any property that one has, the other has. The second is the  Identity of Indiscernibles (see entry):  for any two objects, if it’s the case that for any property one has, the other has it, then the objects are identical.