Explains exit-controlled repetition and guaranteed first execution.