Postconditions
List the postcondition that will be met after the use case has been executed. The minimal postcondition is that is always met, all other conditions may be met in certain circumstances that will be specified. You may use a three column table to specify the name, the circumstances in which case the postcondition gets active and a description of the condition.