 A 10-year Treasury jumped up to, what, 4.5% from around 4.3%. It's settled back down a little bit. That was, post the debate, the highest level since May 31st. That was despite the lowest year-over-year print for our personal consumption expenditure deflator index, and that's a mouthful.