added standard state reachability tools