$coti が #x の通貨として使用できるというのは本当ですか?それともただの噂ですか?