SMT Development Update #4