refactor, implement `pullTerm'