\begin{circustimelaw}{distr-sync-deadline-seq}
\begin{circusaction*}
  (c \then ~ (A_1 \circseq A_2)) \circdeadlinesync d \; \equiv \; ((c \then A_1) \circdeadlinesync d) \circseq A_2
\end{circusaction*}
\end{circustimelaw}
