Describir: Folsom's logical bookkeeping.