Control structures describe state transformations and their combinations. Given a state, a
command specifies how the next state is to be achieved. With 
we describe the state
transformation specified by command C, so 
is the state achieved after starting
the execution of C in state 
. We set 
for all commands C.