But has really violated it in ascribing the use of a language in which all the names are names of functions from indices and none are names of the concrete, commonplace things that are among the values of those functions?