PostCondition

Text to define the significant condition(s) to check whether the use case is realised