Models, Puzzles, and Games