 Boethius made no substantial contribution to the theory of the syllogism, though he was an important transmitter of the theory to later logicians and his works offer a clear presentation of the Aristotelian account. But that presentation differs from Aristotle’s in one important respect. In Boethius, the categorical sentences are constructed using ‘is’ (’est’) and not ‘belongs’, as in Aristotle. The four sentences thus become: