Edit: constraint.h