Always Correct Bookkeeping