Assertion list
kernel (primary) → AtLocation
Results from Ascent++: 3
kernel → AtLocation → sync 0.41
kernel → AtLocation → tight rows 0.35
kernel → AtLocation → great works of the past 0.25