Integrability_conditions_for_differential_systems loading ...