Assertion list
curvature (primary) → MadeOf
Results from Ascent++: 1
curvature → MadeOf → a custom order 0.30