reachability proof setup draft