[NTG-context] color all the formulae?