Firstly, if there is an error during a vote, whips or personal voters are free to change that vote before the result is declared, but, however it is arrived at, the declaration of a result is final and the House has it within its power by the leave of the House to change it. My suggestion to you, Mr Speaker, is that the committee had it within its power to consider that. If the whip, recognising her error—because I submit that she also made a mistake in not calling for the party vote—could have sought the leave of the committee for a party vote to have been held at that point, and she did. So my question is, firstly, is this a Speaker's ruling that will go on to Speakers' rulings in the future and how do we reconcile that with the existing powers of the House and the committee to fix its errors by leave?