 And there have been a number of investigations into both of them, whether they failed to disclose trips that they had taken. So they both have had to modify some of their disclosures with Justice Alito as one trip with Justice Thomas. It was a number of trips, but the rules also have changed. So they both argued that they didn't have to disclose it at the time.