[temp.deduct.type] p4 values vs parameters

In most cases, the types, templates, and non-type values that are used to compose P participate in template argument deduction.

Isn't that it should be phrased as the following

In most cases, the type, template, and non-type template parameters that are used to compose P participate in template argument deduction.

This keeps consistent with [temp.deduct.type] p1

Template arguments can be deduced in several different contexts, but in each case a type that is specified in terms of template parameters (call it P) is compared with an actual type (call it A)

The same issue is in the below sentence

In certain contexts, however, the value template parameter does not participate in type template argument deduction, but instead uses the values of template arguments that were either deduced elsewhere or explicitly specified. If a template parameter is used only in non-deduced contexts and is not explicitly specified, template argument deduction fails.

It is the template parameter that participates in template argument deduction rather than the value. Furthermore, should we specifically say which case does not the template parameter participate in template argument deduction? At least, we should say the template parameter within a non-deduced context does not participate in the template argument deduction, which can associate it with the latter sentence "If a template parameter is used only in non-deduced contexts...".

Search the draft for [temp.deduct.type] and the quoted paragraphs, then compare their terminology with paragraph 1 and the non-deduced-context sentence cited in the issue. Done means the wording consistently identifies template parameters and clearly explains when they do not participate in deduction.