Pure functions almost implicitly imply that its parameters are all scoped. The exception is the return value of the pure function. If the return value can contain any references that came from the parameters, then those parameters are not scoped.