Are definitions
  wolf(x,y) = x + 2*y
and
  wolf(u,v) = u + 2*v
completely equivalent? Is there any way that you could use wolf that would be correct for one of the definitions but not for the other? Are the answers produced by expressions guaranteed to be the same, regardless of which definition you use, no matter what?