go from Term to TermV