All rules reachable now