Loading paper
Tukey reduction among analytic directed orders | Tomesphere