Puzzles solved by VAL