\begin{circustimelaw}{split-time-budget-1}
\begin{circusaction*}
  \circwait 0 \upto t ~ \equiv ~ \circwait 0 \upto t_1 \circseq \circwait 0 \upto t_2 \; \provided \; t = t_1 + t_2
\end{circusaction*}
\end{circustimelaw}
