It is here, by virtue indeed of a bare abstraction, that a fourth figure of the syllogism arose in the first place, namely the figure of the relationless syllogism, which abstracts from the qualitative differentiation of the terms and therefore has their merely external unity, their equality, for its determination.