Zaslat SMS: Conditional Constraint Satisfaction: Logical Foundations and Complexity