Text this: Set-theoretic geology