After endless repetition of a tedious process, Republicans in the House of Representatives finally elect Mike Johnson as Speaker of the House.
The Fall, ‘Repetition’: The Week In One Song
Repetition in the U.S. House finally reaches its (perhaps temporary) end.