Text this: Quantified constraints: algorithms and complexity