9

But the intension of C may be the only being which is the Summum Genus
and the extension of C' may be only nothing which is the Infima Species.
In the former case therefore they may be said to exclude each other
in intension and in the latter case to exclude each other in extension.
Then we have when information is constant --

If A and B exclude each other both in extension and intension
their common extension is nothing and their common intension being.

Let us now change our implication. If we have no implication
we shall have no [foundations?] of extension and intension.
All connotation will be self-contradictory and all denotation will
be obscure.

When implication is at a maximum every class will intersection in extension
and intension will be abolished. Consequently subordination
will be abolished. Consequently all classes will exclude each
other and their common extension will be nothing and their common
intension being.