 File court in Arizona and the Arizona Supreme Court upheld it. He appealed it to the federal district court. The federal district court upheld the sentence. But, of course, the Ninth Circuit reversed, saying that, well, we didn't have enough chance for him to put in issues of his mental illness, cognitive impairment, his head trauma, that he was abused as a child, that he was a drug addict, all these sort of things the court didn't properly consider. But the Supreme Court, in a majority opinion, said that's just totally wrong.