[NTG-context] Commutative Diagrams