Dependence Constraint

To be updated.