 And you're going to take the difference of what you paid for it and that lower price, and that's your profit. That's what shorting amounts to. 12 million shares. That's some $40 a share. That's a lot of money. Well, they bet wrong. Somebody had inside information. Well, we know who it is. It's a company called Austin...