Puzzles solved by AnnaProto