Consistency And The Quantified Constraint Satisfaction Problem