What should normalize return if a postal code is not valid?
The Precondition says that we require a valid postal code in order to ‘normalize’ properly. It’s kind of like Microsofts warranty. They warranty their products under certain conditions. If you use their software under different conditions, then they guarantee nothing. Similarly, you guarantee that normalize will work properly if given a valid postal code.
