How do you check a solution to a problem?