Bunch of important but small edits. Most important, we actually properly defined WTF the SCC of a planning problem is. And NO it wasn not obvious...