Ascent++
Search
point circle
subgroup of
circle
,
1
assertions
IsA
1
tangent
0.68