The contract
nIf the preconditions are satisfied, then the server guarantees that the postconditions will be satisfied when the method completes.
nIf the preconditions
are not satisfied, that is, if the
client does not meet his end of the contract,
then the server promises nothing.