Assertion list
equality (primary) → AtLocation
Results from Ascent++: 1
equality → AtLocation → triangle 0.25