Assertion list
ease (primary) → AtLocation
Results from Ascent++: 1
ease → AtLocation → the core of the dynamics 0.25