The New Inductive Bookkeeping