Seol mar théacs é seo: The Journal of symbolic logic.