Seol mar théacs é seo: Traité de logique;