Illustration of a decider

- p might receive a message and then send a

message or send a message and then receive

a message.

- Alternatively p might receive 2 messages at

different orders

(only p moves)

bivalent

0-valent

1-valent