[NTG-context] Re: overbraces in concrete mathematics - bug?