new reachability projection stuff...