Again if belongs to every, but not to some, it is necessary that does not belong to some O; for if belongs to every, and is predicated also of every, must belong to every O; but we assumed that does not belong to some.