[NTG-context] \endproof