Interlude: Tremaux's Algorithm