Puzzles solved by proto_gks