I say the same in the case of negative deductions and propositions too; ie if A does not belong to any, either it will not belong to primitively, or there will be something prior in between to which it does not belong (e.g., which belongs to all B), and again another still prior to this (e.g., which belongs to every G).