  The aim of D4 is to establish, for a variety of different properties F, that if the one is, then the others are neither F nor con-F.  Within D4, there are four Arguments with the following Conclusions: If the one is, then the others are not one (D4A1C), the others are not many (D4A2C1), the others are not a whole (D4A2C2), the others do not have parts (D4A2C3), the others are not like (D4A3C1), the others are not unlike (D4A3C2), the others are not both like and unlike (D4A3C3), the others are not the same (D4A4C1), the others are not different (D4A4C2), the others are not in motion (D4A4C3), the others are not at rest (D4A4C4), the others are not coming to be (D4A4C5), the others are not ceasing to be (D4A4C6), the others are not greater (D4A4C7), the others are not equal (D4A4C8), and the others are not less (D4A4C9).