The Senate can ignore any injunction. What is that judge going to do?