Thanks for the corrections, Dan! I fixed my lecture. Thanks also for answering Puzzle 17, which is the warmup for the more thrilling puzzles that come next.