For example, if someone knows definitely of a certain 'this' that it is double he also, by the same token, knows definitely what it is double of; for if he does not know it to be double anything definite