SMS dit: Folsom's logical bookkeeping.