發送短信: A Substitution Operation for Constraints