Conversations have allowed moves

Read a protocol conversation as a sequence of message types: hello, request, reply, error, close. Reason about why many protocols need turn-taking rules instead of sending random messages in any order.