Seol mar théacs é seo: Saturated model theory