As others have outlined, there are a million ways that prediction machines and betting markets can go wrong and do crazy things like spontaneously inducing unlikely senseless verifiable destruction. I am aware of interest in making better, faster, more expressive prediction markets. But if you make an unstoppable smart contract then those problems will surely manifest and there will be nothing to be done about it. So I urge future market makers to build robust moderation systems into the foundation of your prediction market, to the extent possible.