5.2-5.3, due on September 29

1. I don't really understand the explanation of the proof structure on 5.11.

2. I thought the dots on the prisoners' foreheads was interesting.