added function spec to validateSolution.