univ type, used for extensible explanations