Higher only, from R16's braced clause. Cover applying a stated rule repeatedly with subscript notation: given a start and a term-to-term rule, generate terms, model stock-with-removal situations, and describe long-term behaviour informally. Iteration for solving equations, x = g(x) with rearrangement, is Algebra's A20 territory, not this page's. (R16)