renamed term: to name:
Improved definitions for pop and push