now debugging constraints