 Revenues went up, but not for long because those revenues were used to buy back stock and other sort of unproductive things. And so ultimately, it did not contribute to any kind of revenue growth. And we still had the two trillion dollar debt deficit paid for by debt.