SSG vs ST Node in ST = entire path in SSG a graph without a cycle = a tree a graph with a cycle = an infinite tree
