preconditions

Restrictions on types and values of inputs to a function.