[NTG-context] Commutative diagrams.