The following pages link to Errata: In heuristic derivation of reachability test, α is missing subscript: