use term-exprs instead of witnesses