Re: [NTG-context] subformulas: error in latest beta