Report an issue
4.1.5 Pre- and Post-Conditions Key Definitions