Figure 1: State diagram of the Pelican crossing.