Consequently all other deductions yield more than one conclusion, eg if A has been proved to belong to every or to some, then must belong to some A; and if A has been proved to belong to no, then belongs to no.