Puzzles solved by John Gast