
\tbegin
\ttactic NBStep1(fs)  \def

  \ttactic applyCopyRule(fs)
  \tend
