Is there a typo in the first diagram? The line with “Bob testifies against you” should have (Alice -20, Bob 0)?
(Alice -20, Bob 0)
Is there a typo in the first diagram? The line with “Bob testifies against you” should have
(Alice -20, Bob 0)?