This formal syllogism is the contradiction that the middle term ought to be the determinate unity of the extremes not, however, as this unity but as a determination qualitatively distinct from the terms whose unity it ought to be.