 For Bradwardine, (D1) a proposition is true if it signifies only as is the case (tantum sicut est), and (D2) it is false if it signifies otherwise than is the case (aliter quam est). Note the absence of the ‘only’ in the criterion for falsehood. Truth therefore, is more demanding than falsehood. In order for a proposition to be true, all of what it signifies to be the case must in fact be the case; if any of what it signifies to be the case fails to be the case, the proposition is false. He will then argue that insolubles signify more than at first appears, and that not everything they signify can be the case. Consequently, they are simply false.