Justice Anthony Kennedy is leaving the Supreme Court.