update differences with SMT notes