Hausdorff_paradox loading ...