But stocks are way more fun when they are tokenized.