A pitcher making 13 million a year wouldn't be so hard to trade, so I definitely don't think the bonus has anything to do with that.