Considered in itself, the syllogism is the truth of the formal syllogism; it expresses the fact that its mediating middle is the abstract universal and that the extremes are not contained in it according to their essential determinateness but only according to their universality that precisely that is not conjoined in it, which was supposed to be mediated.