Tools for Logic Wiki/Namespaces