Completed specifications for validatePuzzle and validateSolution.