And the upside may not be as pronounced now that they have clearly had enough time to cover. If they hadn't, they wouldn't let it go higher today.