Puzzles solved by JOHAN