Yes, that is the case. When we have committee business and when it ends in the midst of debate, the process is that this is the committee business we go back to. So on the Wednesday, if you want to have your committee business for 15 minutes, it shouldn't take long to get that out of the way, I would think, and then proceed. So it should be all right. I think we're all right.
But you are correct.