A condition statement is used to constraint a use case step.
The following format is used for condition statements
The condition need to hold for the step to be possible.
Notice that no subsequent step is executed when a use case step doesn't hold. The use case is simply abandoned, unless a step extension can be executed.