Assertion list
overdrive (primary) → IsA
Results from Ascent++: 1
overdrive → IsA → the highest gear 0.25