It is based on abstracting in a judgment from the difference of relation, the difference of singularity, particularity, and universality, and restricting oneself to the abstract identity of subject and predicate whereby the two are in mathematical equality a connection that makes of the syllogistic inference a totally empty and tautological construal of propositions.