De_Finetti's_theorem loading ...