If function fox is defined by
  fox(x) = x*x + 2*x + 1
do you need to be sure to define what x is in any place where you use fox? For example, to make y = fox(3), do you need to write
  Let x = 3.
  Let y = fox(x).
or would it be acceptable just to say
  Let y = fox(3).