The points that have just been raised by the Leader of the House would have to have been raised before the declaration had been made as to what the outcome was. What the Leader of the House has referred to is a process where the count is announced and a statement is then made, but what the Speaker has done is declared the outcome. Therefore, if the Leader of the House wants to dissent from that decision, that's an option before the House.