Assertion list
major sin (subgroup of sin ) → ReceivesAction

Results from Ascent++: 1
major sinReceivesAction avoided 0.68