Normal and spun normal surfaces are key tools for algorithms in 3-dimensional geometry and topology, especially concerning essential surfaces. In a recent paper of Dunfield and Garoufalidis, an ...