Ascent++
Search
point
aspect of
parabola
,
1
assertions
HasProperty
1
equidistant
0.84