Introduction to SMT Week#1 − Dlike