Mathematical linguistics.