Added self-imports to Pythagoras