Seol mar théacs é seo: Logic and introduction /