The things which are double of the same thing are