We were watching this earlier during the roll call. Alaska reported its delegates split between the various candidates. And the chair basically replied, ‘Cool, all delegates for Trump.’ We were talking about it in the office and couldn’t quite figure what was up. I figured it was just something I’d missed since no one seemed to be making a big deal of it. It seems like this was what was up.