Things which coincide with one another are equal to one another.