Văn bản này: A Substitution Operation for Constraints