Zaslat SMS: A Substitution Operation for Constraints