differential_constraint