Puzzles solved by kani