""Implementations should provide an appropriate mapping from the names of imported modules to the actual modules."
How is this different from the environment procedure?
By "actual modules" is meant the files containing those modules.