SMS dit: Conditional Constraint Satisfaction: Logical Foundations and Complexity