Seol mar théacs é seo: On the purity of the art of logic