smt2: tc vs ct