  The aim of D7 is to establish, for a variety of different properties F, that if the one is not, then the others are both F and con-F.  Within D7, there are six Arguments with the following Conclusions: If the one is not, then the others are (D7A1C1), the others are other (D7A1C2), the others are different (D7A1C3), the others are other than each other (D7A1C4), the others are infinitely many (D7A2C), each of the others appears to be one (D7A3C1), each of the others is not one (D7A3C2), the others appear to be infinitely many (D7A3C3), some of the others appear to be even, others odd (D7A3C4), none of the others is either even or odd (D7A3C5), among the others there appears to be a smallest (D7A4C1), each of the others (even the other that appears smallest) appears large in relation to its parts (D7A4C2), each of the others appears to come to the equal (D7A4C3), each of the others appears to have no beginning, middle, or end in relation to itself (D7A5C1), each of the others appears unlimited in relation to itself (D7A5C2), each of the others appears limited in relation to another (D7A5C3), each of the others appears to be like itself and each of the others (D7A6C1), and each of the others appears to be unlike itself and each of the others (D7A6C2).