Specifies the actions performed, and the next state entered, when a condition evaluates to TRUE.
condition