Puzzles solved by miri