• reachability class