Ledger Logic Bookkeeping