anchor.diff:  
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --spec get(iblt(), key()) -> value() | not_found.
  +-spec get(iblt(), ?RT:key()) -> value() | not_found.
   get(#iblt{ table = T, hfs = Hfs, col_size = ColSize }, Key) ->
       p_get(T, Hfs, ColSize, Key).
   
  --spec p_get(table(), ?REP_HFS:hfs(), non_neg_integer(), key()) -> value() | not_found.
  +-spec p_get(table(), ?REP_HFS:hfs(), non_neg_integer(), ?RT:key()) -> value() | not_found.
   p_get([], _, _, _) -> not_found;
   p_get([{ColNr, Col} | T], Hfs, ColSize, Key) ->
       Cell = lists:nth((?REP_HFS:apply_val(Hfs, ColNr, Key) rem ColSize) + 1, Col),
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec insert(iblt(), key(), value()) -> iblt().
  insert(IBLT, Key, Value) ->
      change_table(IBLT, add, Key, Value).
  
  -spec delete(iblt(), key(), value()) -> iblt().
  delete(IBLT, Key, Value) ->
      change_table(IBLT, remove, Key, Value).
  
  
negative.code: operation_val(add) -> 1;
  operation_val(remove) -> -1.
  
  -spec change_table(iblt(), cell_operation(), ?RT:key(), value()) -> iblt().
  change_table(#iblt{ hfs = Hfs, table = T, item_count = ItemCount, col_size = ColSize } = IBLT, 
               Operation, Key, Value) ->
      NT = lists:foldl(
             fun({ColNr, Col}, NewT) ->
                     NCol = change_cell(Col, 
                                        ?REP_HFS:apply_val(Hfs, ColNr, Key) rem ColSize,
                                        encode_key(Key), Value, Operation),
                     [{ColNr, NCol} | NewT]
             end, [], T),
      IBLT#iblt{ table = NT, item_count = ItemCount + operation_val(Operation)}.   
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec change_cell([cell()], pos_integer(), integer(), value(), cell_operation()) -> [cell()].
  change_cell(Column, CellNr, Key, Value, Operation) ->
      {HeadL, [Cell | TailL]} = lists:split(CellNr, Column),
      {Count, KeySum, KHSum, ValSum, VHSum} = Cell,
      lists:flatten([HeadL, 
  