Task: Text Quality Evaluation
Input (English): The proof that this set is recursive is difficult.
Output (English): acceptable