 It's definitely magnifying. And I should mention, when we started covering this story, we had still seen European futures. The markets hadn't opened yet. We have seen them pointing decidedly lower. But on these headlines, as they rolled out, we first saw a delay in the openings of the stock markets here in Europe as well. Traditionally, it takes no more than 60 seconds for the FTSE to get prices on the FTSE 100. It took a couple of minutes.