Using the term as parameter instead of a symbol variable