1 2 3 4 5 6
/* Tatica NBStep5_6 */\tbegin\ttactic NBStep5_6() \def \tskip \semibox \ttactic interIntroAndSimpl()\tend