The following sections describe each of these assertions.
Copyright © Digital Equipment Corporation. 1997. All Rights Reserved.