In e-mail with Richard:
Dawn:
➢ - In 14.8.2.4 we have: “If deduction succeeds for a given type,
➢ the type from the argument template is considered to be at least as specialized
➢ as the type from the parameter template.”
➢ Ok to make "at least as specialized" a term/defn editorially? this seems to be as close to a defn as I could find (or did I miss something?).

Richard: I think this is fine to italicise, but I'm not so sure we should add an index entry: this term is only referenced from the next couple of paragraphs (DR1705 tried to excise the term). Maybe we should say "at least as specialized: see also more specialized" or similar in the index, though.