Puzzles solved by jirc