He can just open a hedge order on another exchange, anyway, the money here is all follow-up funds, it's not his.