Assertion list
forger (primary) → ReceivesAction
Results from Ascent++: 1
forger → ReceivesAction → tampered with the birth records 0.36