Text this: Set theory and syntactic description.