Assertion list for term "lie on the two curves".

Results from Ascent++: 1
point (aspect of curve) CapableOflie on the two curves 0.48