In C++ Primer 5th edition Chapter16 on templates:
"It is up to the provider of a template to ensure that all names that do not depend on a template parameter are
