Department of Applied Logic/Namespaces