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