Turning real-world events into markets is a powerful concept for Web3.