Suppose (e.g.) that he has declared double a half to be the same as a multiple of a half: then, subtracting a half from each, the remainders ought to have signified the same thing; but they do not; for double and a multiple do not signify the same thing.