making constraints explicit Synonym