Thank you! I left out `import xx as y` on purpose. It's obvious how this feature is implemented – Python just saves the imported module under another name.