The two hardest problems in CS: * naming * cache invalidation * off by one errors