 Whenever we have election time, whenever we have a change in party, whether we go from Democrat to Republican or Republican to Democrat, it does not matter either way. Historically speaking, we normally have a nice run-up in the market whenever that happens. We saw it when we went from Obama...