Assertion list
new uniform (subgroup of uniform ) → ReceivesAction
Results from Ascent++: 2
new uniform → ReceivesAction → revealed 0.68
new uniform → ReceivesAction → designed to be modern 0.59