A judge’s decision to end the case.