"The unnamed module reads every other module."

[Stephan Herrmann]

SOTMS says: "The unnamed module reads every other module."

I am unable to find any similar statement in any specification.
Where should I be looking?

Stephan