reachable_cond