
\section{Semantics}

Four steps,

dependence introduced when sequentialized to DO

