FWIW it was a 5-4 partisan vote. I know people here think Democrats are worse than Republicans, but they aren't. I'll never vote Republican. I campaign for the best candidates in Democrat primaries, and then I vote blue, like every rational person should.