Wrote a bit on sequential reachability.