Re: [NTG-context] Math blackboard (bug?)