SMT 2 Law