Change constaints to take any number of arguments