Re: [NTG-context] Framed mathematics