 Right. And unfortunately, the Republicans could do nothing about that because the courts don't open until the morning and therefore they could not file an emergency injunction or an emergency motion.