If the two sortals are allowed to differ in temporal scope, the predications 'a is G' and 'b is not G' are no longer univocal and thus not contradictory.

More importantly, that there are no ad hoc sortals is essential to the significance of the formal proof that there is no such thing as relative identity. In logic and in the application of Leibniz’s Law, ‘a is F’ is normally equivalent to ‘a was, is or will be F’, otherwise the Law would not apply to such accidental properties as ‘is brown’. This is also the way phase sortals work: a human being is, was, or will be a baby. The argument against relative identity works by arguing that, if one allo