Mr Speaker, I have spoken with the Leader of the House to raise that, when the division was first called, the monitors all indicated that it was a quorum rather than a division. Who knows what will happen, but it may assist the House if we just do it again because, if we have to unravel it, it will take a good deal longer.