merged "theory" in the language-agnostic section