Ascent++
Search
close magic
subgroup of
magic
,
1
assertions
HasProperty
1
great
0.59