[minor] reachability prop