 In the Logica Parva, an elementary pedagogical text, Paul clearly follows Heytesbury in accepting an insoluble scenario only if it is left open that the insoluble proposition has a secondary or additional signification, but (unlike Heytesbury) specifies that additional signification as asserting its own truth. He spells it out towards the end of ch.6: 