Title: Folsom's Logical Bookkeeping