Lecture 4: Loops over Strings, Guess-and-Check, and Binary