 So that Hayes Hotel project apparently will go. We'll see when they go forward with that. Maybe start to see some work happening over there. But that was announced this morning with GOC. We were talking a little bit about possible debate questions for the presidential debate and what you're expecting from the moderators and others at the debate. I had a couple questions. One came to my mind, and I want to pose this to you.