Kolmogorov's_inequality loading ...