fresh variables, need to find a nice way to implement 'pullTerm'