Python: while loops, Lecture