Ascent++
Search
thought experiment
subgroup of
experiment
,
1
assertions
HasProperty
1
useful
0.25