Principle of Uniform Mood
Indicative properties and optative properties should be entirely separated in a specification document
- Reduces confusion of both the authors and the readers
If the software works right, both sets of properties will hold as facts