Reviewable Representation
Make assumptions explicit
- capabilities of operations
- types of parameters
- side effects
- timing
- handling of undesired events
Include redundant information
- assumptions specifiers take as invariant
- usage that specifiers assume will not occur
Organize document for review