  Still, it is possible to extract an interesting result from D7, when combined with a result from D3. D7A1 establishes that if the one is not, then the others are (D7A1C1). But D3 establishes (for many F’s) that if the one is, then the others are F. But to be F is to be in some way or other. So if the others are F, then the others are. So D3 establishes (for many F’s) that if the one is, then the others are. Thus, D3 and D7A1C1 together entail that, whether the one is or is not, the others are. Hence D3 and D7 together entail that the others are. Assuming that the others are (or, at least, include) all the forms other than the one, it follows, in conjunction with the previously established result that the one is (see section 6.7 above), that every form is. This reinforces the previous claim (see section 6.7 again) that the result that the one is can be generalized to all the forms.