Assertion list
overhaul (primary) → ReceivesAction
Results from Ascent++: 2
overhaul → ReceivesAction → completed 0.71
overhaul → ReceivesAction → built into present protocols of… 0.25