Task: Text Quality Evaluation
Input (English): This theorem will take only five minutes to establish that he proved in 1930.
Output (English): acceptable