Sometimes people use the term “coin” to refer to what other people call “tokens”, and “token” to refer to what others call “coins”. Some people…