Textmeddelande: The complexity of constraint languages