Synthetic_differential_geometry loading ...