State Diagram: Mix_Protocol / State Diagram