~ Fix Fin invariant in difference.