Execute ( start condition [...] . The state of the [...] state of the x

Start See VAR [...] desired initial state [...] state. Note Using