Apply definite (count-controlled) iteration structures, such as FOR loops, in program design.
Apply indefinite (condition-controlled) iteration structures, including loops with conditions evaluated at the start (e.g., WHILE loops) and at the end (e.g., REPEAT...UNTIL loops).
Analyze iteration constructs theoretically, recognizing how pre-condition and post-condition loops control program flow.
