Principle of uniform mood
Indicative properties and optative properties should be entirely separated in a document
- Reduces confusion of both the authors and the readers
- Increases chances of finding problems
If the software works right, both sets of properties will hold as facts