 Right. So the two justices that we think are up right now potentially are Thomas and Alito because of their age and their statute. And so if the new president, whoever they were, if it were another President Trump, you've seen that he appoints conservatives that are fairly young that could control the court for decades. So if we lock in the 6-3 divide that exists right now,