Theoretical support for languages.