Task: Text Categorization
Input (English): but having now fully considered these irreconcilable principles, we have concluded that smith must be overruled.
Output (English): overruling