Assertion list for term "reach the boundary".

Results from Ascent++: 1
ball CapableOfreach the boundary 0.51