Puzzles solved by ArKi