I don't know if it's a point of order.
Has it been 10 minutes already since we voted in the House?
Normally, according to the procedure, we have to wait 10 minutes for members to get to the room after a vote.
I don't know if I'm wrong.
On May 9th, 2023. See this statement in context.