dif and no-reverse back with trivial