Justice on Blockchain: Did Bitfinex Handle its Problem Well?