TermDiff tests pass again.