Ascent++
Search
third majority
subgroup of
majority
,
1
assertions
ReceivesAction
1
required
0.68