 The authenticity of the Logica Magna is a matter of some contention. Assuming that Paul was the author, we can find discussions by him of the insolubles in at least four works, his Logica Parva (translated in Paul of Venice 1984 and edited in Paul of Venice 2002), his Logica Magna (in the treatise on ‘Insolubles’, in a forthcoming edition and English translation by Barbara Bartocci and Stephen Read from Paul of Venice 1499 and the one extant manuscript), in the Quadratura (in at least four of its 200 chapters, Paul of Venice 1493), and in the final sophism, no.50, in his Sophismata Aurea (Paul of Venice 1483). Paul follows two of the leading solutions to the insolubles in the fourteenth century, the modified Heytesbury solution and Roger Swyneshed’s, in different works: the modified Heytesbury solution in the Logica Parva and the Quadratura, and that of Swyneshed in the Logica Magna and the Sophismata  Aurea.[31a] 