Formal Coin (FORMAL)