Add TermInCtx