Are familiar with the idea of method preconditions and postconditions? Recommended reading: Postcondition - Wikipedia, the free encyclopedia

What has to be true after this method is called?