make Z_local_update statement more intuitive
x - y = x' - y'
makes a lot more sense to me: the difference between auth and frag has to remain unchanged by the update.
x - y = x' - y'
makes a lot more sense to me: the difference between auth and frag has to remain unchanged by the update.