For an anon from the UK. Not as well versed in the intricacies of this Joint Session. I'm presuming all the senators present make a speech then Mike Pence decides what to do?