SMT Global Introduction