Proof that $REAL COIN IS REAL