start and finish dictionary section. 1. slow, linear, no hashing 2. interesting invariants -- more? 3. how is it implemented in haskell?