 becomes true, because the truth-maker of a negative proposition is the non-occurrence in reality of the composition signified by the corresponding affirmative. Most of Boethius’ contemporaries would defend (2) with the claim that “No proposition is truer than one in which something is predicated of itself”.