[NTG-context] annotated equations