Seol mar théacs é seo: Lucubrationes in Logicam