\begin{itemize}
\item Intuition: 
  \begin{itemize}
  \item Nodes that may introduce cyclic iterations: grouped 
  \item Nodes inside each group: synchronized at each other
  \item Nodes of distinct groups: keeping asynchronism 
  \end{itemize}
\item Formalization:
  \begin{itemize}
  \item Group: SCC of the connection graph
  \item Mixed iterations of DN with Uniform Delays: 
    \begin{itemize}
    \item $S_{ij}^t$ is $t$ if $i \in SCC(j)$.
    \item $
      \begin{array}{l}
      \forall p_0,p_1,q_0,q_1,t \, .\,  
      \quad ( 
      p_1 \in SCC(p_0) \land  
      q_1 \in SCC(q_0))\\
      \qquad \Rightarrow 
      S_{p_0q_0}^{t}  = 
      S_{p_1q_1}^{t}  
    \end{array}
    $
    \end{itemize}
  \end{itemize}
\item Elements in the same SCC: cannot be differentiated
\end{itemize}