Puzzles solved by VCADD