Key Sequence Notation New Concepts STCONN Savitch’s Algorithm PATH NL and Non-Deterministic Space problems in NL NL \subseteq P NL \subseteq \text{SPACE}\left(\log^{2}\left(n\right)\right) \text{NL} = \text{coNL} Important Results / Claims STCONN is in NL Questions Interesting Factoids