A division is required. I would think, given that nobody left the chamber—and without it being a precedent—I will ring the bells for one minute and count this as a division under those provisions.

Question put.

The House divided.  [ 02:02 ]

(The Speaker—Mr Harry Jenkins)

Question negatived.

The question now is that the bill be agreed to.

Question put.

The House divided.  [ 02:04 ]

(The Speaker—Mr Harry Jenkins)

Question agreed to.

Bill agreed to.