Holomorphic_sectional_curvature loading ...