A Quiz
Suppose that you call a function, and you neglect to make sure that the precondition is valid. Who is responsible if this inadvertently causes a 40-day flood or other disaster?
The programmer who calls a function is responsible for ensuring that the precondition is valid.