The purpose of specifying a postcondition is to

specify the types of objects the method accepts.

explain the method$$s end result, whether it is a return value or change in an object$$s state

state the return value$$s type.

set the method$$s expectations before the method is executed with respect to the parameters or object$$s state