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]).