Protocol%2520design - State-Free