Weyl_curvature_hypothesis loading ...