Perform some actions and repeat the test on true

If the test in Figure 3 returns true:

During each iteration: