\begin{circuslaw}{conj-to-par}
\begin{circusaction*}
  \lschexpract Op_1 \land Op_2 \rschexpract ~ \equiv ~ \lschexpract Op_1 \rschexpract \lpar \wrt(Op_1) | \emptyset | \wrt(Op_2) \rpar \lschexpract Op_2 \rschexpract \; \provided \; \wrt(Op_1) \cap \wrt(Op_2) = \emptyset
\end{circusaction*}
\end{circuslaw}
