document diff in our factor vs SMT