“These names do not magically make their way to the function. Their values are all that matter; their values are the arguments.”