Assertion list
equality (primary) → AtLocation

Results from Ascent++: 1
equalityAtLocation triangle 0.25