"every finite DAG has leaves" is an incredibly unsurprising and boring fact, but the logically equivalent "every python project includes modules with literally not a single import statement" is mind blowing and I refuse to accept that it's true
Python imports are not necessarily a finite DAG. Specifically, Python modules can import themselves
inventing a Python module that imports all modules that don't import themselves, but who imports that module?