As for the ruling on distance in our view, it may be contrary to what they declared to be distance, while we declare what they decided to be distance that it is undoubtedly distance, except that we added matters to it that the group overlooked. Not that they were ignorant of what we mention, except that they did not mention it in knowing distance and included it in the chapter of proximity, and that is that proximity is a combination. Distance is separation, and what results in meeting is different from what happens in separation. Distance is not proximity. If two things come together in something, that is the ultimate closeness, because the essence of each of them is the same as the other in what the meeting occurred in. So if each of the two matters is distinguished from its companion by an attribute that the other does not have, then the other It is distinguished from it, and if it is distinguished from it, then that distance is because it is not the same in terms of what it is