Seol mar théacs é seo: Set-theoretic geology