Self Check
- Why might you want to add a precondition to a method
that you provide for other programmers?
- When you implement a method with a precondition and you notice
that the caller did not fulfill the precondition, do you have to notify
the caller?