 And the breakdown of the justices is very interesting because it's not the division we have so often seen that's based more on party lines. Justice Ketanji Brown Jackson sided with the majority and Justice Amy Coney Barrett dissented. What did you make of that?