Figure 7. The alternative version of the counter update clause.
