But how do you go about shorting these coins? There's not an obvious way to short them, like traditional stocks.