  Define the tet-volume of a triangulation of the 2-sphere to be the minimum
number of tetrahedra needed to extend it to a triangulation of the 3-ball, and
let d(v) be the maximum tet-volume for v-vertex triangulations. In 1986
Sleator, Tarjan, and Thurston (STT) proved that d(v) = 2v-10 holds for large v,
and conjectured that it holds for all v >= 13. Their proof used hyperbolic
polyhedra of large volume. They suggested using more general notions of volume
instead, and Mathieu and Thurston showed the potential of this approach in a
paper that has been all but lost. Taking this as our cue, we prove the
conjecture. This implies STT's associated conjecture, proven by Pournin in
2014, about the maximum rotation distance between trees.
