[NTG-context] Breaking formulas