Assertion list
mortar (primary) → UsedFor
Results from Ascent++: 1
mortar → UsedFor → repointing 0.34