Verified Finite Diffs work
Merge Fix