And yet ObamaCare originated in the Senate.
There's another federal court case because of that. I don't know what happened to it.