 And you were last on our show, October 2022, introducing us to this case. So remind our listeners, what is the Palm Springs reparations case? And then we'll jump into kind of the status and where it is now.