Assertion list for term "take the distance".

Results from Ascent++: 1
algorithm CapableOftake the distance 0.52