So now it's all short covering? If the SEC revokes, the remaining short positions no longer have to be covered?