Seol mar théacs é seo: Principles of instrumental logic