Seol mar théacs é seo: Quantifiers, propositions and identity