Recognizing a Solution