Loading paper
Metric complexity is a Bryant--Tupper diversity | Tomesphere