 So there was. And the sad part, the sad part was that side meeting took place at exactly the same time when the delegates were required to be on the floor to vote for Donald Trump. Oh, no. What terrible timing.