Kolmogorov's_normability_criterion loading ...