Are you implying that there is arbitrage between the prediction market and the real market? Until now we were assuming that the prediction market is self-contained, with its other side staying within the confines of the prediction market.