When we consider the syllogism of analogy with its major premise expressed as above, namely, 'if two subject matters agree in one or more properties, then a further property of one also belongs to the other,' it may seem that this syllogism contains four terms, the quaternio terminorum a circumstance that brings with it the difficulty of how to bring analogy into the form of a formal syllogism.