[NTG-context] Again: breaking of formulas