Example: The dining cryptographers

Crypt(0)

notpays.0

pays.0

Coin(0)

Coin(1)

look.2.0

Master

out.1

Crypt(1)

Crypt(2)

Coin(2)