Added SECONDARY_CYCLES axiom