Re: [NTG-context] Questions on \definition