Differential_geometer loading ...