The application can be viewed as a “play,” involving a community of coin traders: Alice, Bob, Carla, David, Eve, and Frank. The user of this application can “play the role” of any coin trader: (i) requesting the mint to mint a new coin, which then appears in their wallet; (ii) passing this coin as payment to any other trader; (iii) redeeming the coin with the authority that minted it. The life-story of each coin is recorded on the public ledger maintained by the mint.