Puzzles solved by iProlex