The bad coin (BadCoin)