/* Tactic: config4*/

\tbegin
\ttactic config4()  \def

        (\tlaw Sequence_Associativity()  \parallelbox \tlaw Sequence_Associativity())
		\tsemi \tlaw Parallel_Composition_Sequence_step() \tsemi
		(\tskip \semibox (\ttactic isolateOutComm() \tsemi
        (\tskip \semibox (\tlaw Par_Interleave()))))		
    \tend



