1 2 3 4 5 6 7 8 9
/* Tactic: BJSt4A_config3B*/\tbegin\ttactic BJSt4A_config3B() \def (\tskip \parallelbox \tlaw Sequence_Associativity()) \tsemi \tlaw ParOutInpInterExchange3() \tend