This section will explain pre- and postconditions.
Go to the first, previous, next, last section, table of contents.