Loading paper
Splitting stationary sets from weak forms of Choice | Tomesphere