Progress on information markets section