No, that's the point of separating the package declaration (specification) from its body.
You may go back to the question
You may also:
Skip to the next section.
Go up to the outline of lesson 15
David A. Wheeler (dwheeler@ida.org)