  The aim of D5 is to establish, for a variety of different properties F, that if the one is not, then the one is both F and con-F. Within D5, there are twelve Arguments with the following Conclusions: If the one is not, then the one is different from the others (D5A1C1), we have knowledge of the one (D5A1C2), the one is different in kind from the others (D5A2C), the one partakes of something, that, and this (D5A3C), the one is unlike the others (D5A4C1), the others are unlike the one (D5A4C2), the one partakes of the unlike (i.e., has unlikeness) in relation to the others (D5A4C3), the one partakes of the like in relation to itself (D5A5C1), the one is like itself (D5A5C2), the one is unequal to the others (D5A6C1), the others are unequal to the one (D5A6C2), the one partakes of the unequal in relation to the others (D5A6C3), the one partakes of the large (D5A7C1), the one partakes of the small (D5A7C2), the one partakes of the equal (D5A7C3), the one partakes of being (D5A8C1), the one partakes of not-being (D5A8C2), the one is in motion (D5A9C), the one is not in motion (D5A10C1), the one is at rest (D5A10C2), the one is altered (D5A11C1), the one is not altered (D5A11C2), the one comes to be (D5A12C1), the one ceases to be (D5A12C2), the one does not come to be (D5A12C3), and the one does not cease to be (D5A12C4). 