recording the constraints Synonym