Exchangeable_random_variables loading ...