9.8 Savitch's Theorem: $\textrm{Reachability} \in \textrm{Space}(\log(n))$