Infima of length functions and dual cube complexes - Jonah Gaster (2015)