Theorem #2






"languages" include programming languages.