Re: [NTG-context] Subtle problem with startformula