There was nothing included, just that there be five hours of debate on Tuesday, the 24th—or whatever that date was—and that, in the following week, we get three five-hour slots.
As you well know, Ms. Thomas, that is not decided by this committee. It is decided by the whips in the House, who agreed that we would get the equivalent of three five-hour meetings, which would be 15 hours. That is going to be concluded or should be concluded today.