The Formal Currency (FormalCoin)