The second claim is that is that if the object picked out by ‘a’ also falls under another sortal, G, then so will the object picked out by ‘b’, and it will be the same G as a. This is represented as an application of Leibniz’s Law, for if a is the-same-G-as-a (as it must be) then, as a = b, b must be the-same-G-as-a.