This is the object in view in all arguments of the following kind: if it is all the same to state a word and to state its account, double and double of half are the same; if then double is double of half, it will be double of half of half.