after the initialization phase
-on and the initialization phase Init .
for an initial state
are the initial point
initialize the state
the initial settings for a