Գրեք սա: A Substitution Operation for Constraints