Girard Reading Group/Namespaces