Puzzles solved by Popek