[NTG-context] Framed mathematics