أرسل هذا في رسالة قصيرة: A Substitution Operation for Constraints