Assertion list
vector (primary) → AtLocation
Results from Ascent++: 2
vector → AtLocation → right angles 0.55
vector → AtLocation → the nullspace 0.41