Loading paper
The many-to-few lemma and multiple spines | Tomesphere