Assertion list
ring binder (subgroup of binder ) → ReceivesAction
Results from Ascent++: 1
ring binder → ReceivesAction → convenient to use 0.59