Filtered_probability_space loading ...