PostConditions
Last edit February 16, 2004
See
PostCondition
.