If is identical with, there will be a converted deduction; for will belong to every, since belongs to A and to (for was found to be identical with C); but that A should belong to every is not necessary, but it must belong to some because it is possible to convert the universal statement into a particular.