There is no specification of the relationship of an associate name to the intent specification of the selector, if the selector happens to be a dummy argument. Do we need an interp for this, or can we just fix it in the next revision? Maybe put it in section E of the 008?