 Mignucci’s account of how Ammonius and Boethius understood the distinction between definite and indefinite truth is roughly speaking the same as the explanation of these terms in Peter Abelard’s interpretation of De interpretatione 9. Abelard believed that Aristotle assumed that future contingent statements are true or false, though not determinately true or false before the actuality of the things to which they refer (Dialectica 213.17–20). Abelard used the notions of ‘determinate/indeterminate’ instead of the Boethian ‘definite/indefinite’, as most medieval authors did. In this interpretation, he retained the principle of bivalence for all assertoric statements, but rejected the universal application of the stronger principle that every assertoric statement is determinately true or determinately false. According to Abelard, the notions of ‘determinate’ or ‘indeterminate’ apply primarily to the truth-makers of assertions and secondarily to assertions themselves: