Task: Text Categorization
Input (English): thus the reasoning of the court of appeals in trulock was unsound.
Output (English): overruling