Figure 2: Notation for gates, and two alternatives for agents.