How do we know who voted for hearing Texas case and who didnt? As far as I understand Alito and Thomas voted to hear it but several people in the comments pointed out that it doesnt mean that others did not. We do not know if its exactly 2-7, right?