Text this: Quantified constraints: Algorithms and complexity