Oy vey. Judges can’t rule executive orders into being.