This is the only restriction on a class, if we don't talk about the file where that class is defined.

We could talk more about where library developers put their files, but the old spec did not do that either.