Supreme Court verdict on Hastings case: Discrimination is OK in the name of antidiscrimination.