Information_theory_and_measure_theory loading ...