 Strobino 2012 contains the first significant discussion of Peter of Mantua’s account of insolubles in modern times. Mantua’s treatise, composed in the early 1390s, shows influences from Albert of Saxony and William Heytesbury (whose opinions he criticises extensively) and of Wyclif’s theory. Mantua’s theory is also mentioned in Paul of Venice’s Logica Magna, in addition to the fifteen theories Paul specifically enumerates. Once again, the theory frames itself in Aristotelian terms, whereby the insolubles are absolutely or unqualifiedly false, but true in a certain respect. Like Wyclif’s, his main notion of truth (Wyclif’s third, Mantua’s second) requires that propositions not be self-referential. If they are self-referential, they are false in this sense. But Mantua’s other notion (similar to but narrower than Wyclif’s second) applies only to self-referential propositions that are true according to their primary signification. For example, ‘This proposition is not true’ is false in the first sense (since it is self-referential), but true in the second sense, because it is self-referential and not true (in the first sense). Strobino (§ 3.4) argues that Mantua’s theory, like Wyclif’s, cannot deal with the problem of revenge, e.g., with such a proposition as ‘This proposition is not true in either sense’.