Post Conditions
See
PostCondition
.
Post Conditions
Post Conditions