formulating the constraints Synonym