O'Reilly logo
  • You Wang thinks this is interesting:

write some simple code to do a few simple actions, that change the state of the computation so that the i + 1st assertion holds.

From

Cover of How to Think About Algorithms

Note

action is to maintain assertion from i to i+1