Assertion list
infidelity (primary) → ReceivesAction
Results from Ascent++: 2
infidelity → ReceivesAction → finished 0.25
infidelity → ReceivesAction → exposed 0.16