[NTG-context] typesetting jurisprudence