Encyclopedia ElectricMario/Namespaces