https://1library.org/document/zkw40wj1-smallest-universe-of-negative-curvature.html