SMT Independent Study