Guide to Living in Pittsburgh/Namespaces