Figure 1: Each thread has an intended sequence of operations.