Logic Law/Namespaces