Crunching numbers in prediction markets. Betting against the herd.