The stock market is down, which is obviously a good thing.