Trump 2.0 is certainly going to replace the oldest justices, probably before the midterms, to lock in that 6-3. So it's a different discussion now.