  The aim of D8 is to establish, for a variety of different properties F, that if the one is not, then the others are neither F nor con-F. Within D8, there are two Arguments with the following Conclusions: If the one is not, then none of the others is one (D8A1C1), the others are not many (D8A1C2), the others cannot be conceived to be either one or many (D8A2C).