#00: Introduction
#01: Core Design Components
#02: Contract Specification
#03: Client Specification
#04: Client Architecture
#05: Operator Specification
#06: Operator Architecture
#07: Predicate Specifications