fratrem, the King then forced him into exile again. Second exile and return After the violence at Valencia, Eymerich sought shelter from John's reprisals in a church, but two years later, retreated again to Avignon, where he remained until the death of King John I. In Avignon, Eymerich devoted himself to the defence of the legitimacy of Clement VII as Pope. He remained in Avignon after the death of Clement VII in 1394, writing in support of Clement's successor, Antipope Benedict XIII. After King John's death in 1396, Eymerich returned to the Dominican monastery in Girona, where he remained until his death on 4 January 1399. His epitaph describes him as praedicator veridicus, inquisitor intrepidus, doctor egregius. Writings The Directorium Inquisitorum Eymerich's most prominent and enduring work was the Directorium Inquisitorum, which he had composed as early as 1376. It defined witchcraft, and described means for discovering witches. In compiling the book, Eymerich used many of the magic texts he had previously confiscated from accused sorcerers. The Directorium Inquisitorum was to become the definitive handbook of procedure for the Spanish Inquisition until into the seventeenth century. It can also be considered as an assessment of a century and half of official Inquisition in the "albigensian" country. For another clergyman, the Directorium Inquisitorum is written in 'Barbarian Latin'. Other works Although the Directorium Inquisitorum was Eymerich's only book-length work, he wrote numerous tracts and papers on various theological and philosophical subjects. A good deal of Eymerich's life and writings were taken with opposing the writings of Ramon Llull. Owing to Aymerich's work, Pope Gregory XI banned several of Llull's writings and issued a papal decree against some postulates derived from his works. He would later dedicate his Tractatus contra doctrinam Raymundi Lulli to Clement VII. In this document, he indicated 135 heresies and 38 errors in the Lullists' theology. His Dialogus contra Lullistas is another example of his anti-Lullist works. Eymerich also wrote numerous works, including his Tractatus de potestate papali (1383) defending the legitimacy of the Avignon antipopes, Clement VII and Benedict XIII. Variant spellings of Aymerich's name There appears to be very little scholarly consensus on the spelling of Aymerich's name. "Nicolau Aymerich" is the correct form of his name in medieval Catalan language spelling, and the most used form in Catalan, although nowadays it would be spelled "Eimeric". Aymerich, or Eimeric, is still a common Catalan surname, also