Advantages of Using Preconditions and Postconditions
Succinctly describes the behavior of a function...
... without cluttering up your thinking with details of how the function works.
At a later point, you may reimplement the function in a new way ...
... but programs (which only depend on the precondition/postcondition) will still work with no changes.