Loading paper
Bounds on the dimension of lineal extensions | Tomesphere