Loading paper
Another method to add a closed unbounded set of former regulars | Tomesphere