Ascent++
Search
internal contradiction
subgroup of
contradiction
,
1
assertions
IsA
1
issue
0.68