Full name of submitter: Brian Bi

Issue description: The note to paragraph 2 is incorrect because an alias template A can indeed be deduced from a type of the form T<A> (where T is a template with a type template template parameter).

Suggested resolution: Modify the note as follows:

AnThe alias template name is nevernot deduced from such a type ([temp.deduct.type]).