Loading paper
Constructing arcs from paths using Zorn's Lemma | Tomesphere