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