Ascent++
Search
outer circle
subgroup of
circle
,
1
assertions
CapableOf
1
touch inner circle
0.68