Isn't that stock market a prediction market?