Re: [NTG-context] $\to$: addendum