Task: Text Quality Evaluation
Input (English): Cohen proved the independence of the continuum hypothesis.
Output (English): acceptable