Seol mar théacs é seo: Symbolic logic,