This makes it easier for teams to develop software - they can develop the declarations, compile them to check their accuracy, then each of them can go off and develop the bodies for different declarations.
You may also:
Go up to the outline of lesson 2
David A. Wheeler (wheeler@ida.org)