 But those three, Kavanaugh, Roberts, Barrett, I think hope that either they could pump this off for another time and decide against the federal government during a year that is not an election year, or they could just sit back and hope Donald Trump wins the presidency in November, wait for the Trump administration to reverse course on this policy that the Biden administration promulgated, and then they won't have to touch it at all. So this was really politics all the way down.