The death and life of prediction markets at Google