Liberty Eiffel Wiki/Namespaces