add contraints