We don't know how much of the refinery is down or for how long. But not to negate the human tragedy, it happened at the worst time of the year seasonally. And it happens at a time the market is nervous and looking for reasons to go higher anyway.