adding the missing constraints