 As already mentioned  (Section 3.7  above), in 1372 the Frenchman Peter of Ailly (Petrus de Alliaco) wrote an Insolubilia that preserves all we know of Gregory of Rimini’s theory. Peter’s theory looks much like Gregory’s. Nevertheless, he did not accept Gregory’s view entirely. Whereas for Gregory, an insoluble in spoken or written language corresponds to or expresses a conjunction of two propositions in mental language, for Peter it corresponds to or expresses two distinct mental propositions, not their conjunction. The two distinct mental propositions are the same two that Gregory had conjoined.