This page moved to asesha-formal-reachability-and-unr-closure.html.