At this point in the notes, we have not yet introduced control statements other than `if`.  I would advocate simplicity rather than completeness here; learners struggle with knowing where the loop ends and with how to nest indentation, not with generalizing indentation to other control structures.