Text this: Formal logic and linguistics.