In order to appreciate the logical power of an affirmation of distances in the pure element of positive difference, we need only consider the formal difference between the following two propositions: 'if a is impossible, then a b'; 'if a is distant from every number which is distant from, then a b'.