and i think in all cases traversable_specs are cycles, many of which can be fixed