 Buridan’s early view was that every proposition, not just insolubles, signifies its own truth. This idea, which we have already encountered in Segrave and the modified Heytesbury solution, can be found as early as Bonaventure’s Quaestiones disputatae de mysterio Trinitatis (q1 a1), composed in the 1250s. Buridan gives only the briefest of arguments for this claim about signification, not grounding it in any principle like Bradwardine’s (P2). He writes, in his early work Questiones Elencorum (Buridan 1994, p.92):