As for Justice Barrett, I think we can finally bury the "process formalism" defense. There are so many procedural reasons why she should have dissented here. But she did not, without any explanation.