export const LEXICON_INTRO =
    "Every term in this category, one record each: the term, its kind, its definition and its aliases, then the principles whose relations name it, the principle or contract that carries the same name where one exists, and the layer its category belongs to.";
export const DEFINITION_LABEL = "Definition";