Puzzles solved by JOSEF