Seol mar théacs é seo: Quantifiers in language and logic