Actually, she didn’t comment as much on Santos as she did the speaker of the House, Mike Johnson.