If the DAO Attacker Shorts ETH, Buys ETC, and then Refunds the DAO ...