every function invocation creates a new binding for the arguments