6.1. Motivation
6.2. File format and indentation
6.3. Variable and method names
6.4. Variables and parameters
6.5. Expressions
6.6. Methods
6.7. Contracts
6.8. Code structure
6.9. Design requirements
6.10. Working with files
6.11. Other requirements