Isn’t the first order of business replacing Mike Johnson as Speaker of the House?