Given some initial state
When an action is taken
Then verify an outcome
And another outcome could be verified from the same action