Why Not Constraint Satisfaction ?