anchor.diff:  
   %% Assertion commands.
   node_assertion_functions() ->
  -    [verify].
  +    [verify, read].
   
   %% Global functions.
   node_global_functions() ->
  
positive.code:         Acc andalso All
      end, true, Store),
  
      FoldResult;
  node_postcondition(_NodeState, Command, Response) ->
      node_debug("generic postcondition fired (this probably shouldn't be hit) for command: ~p with response: ~p", 
                 [Command, Response]),
  
negative.code:     end;
  node_postcondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}, {ok, _Value}) ->
      true;
  node_postcondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}, {badrpc, timeout}) ->
      true;
  node_postcondition(#node_state{store=Store}=_NodeState, {call, ?MODULE, verify, []}, AllResults) ->
      %% Everything we think we wrote is there.
      StoreToNodeResult = dict:fold(fun(Key, Value, Acc) ->
          All = dict:fold(fun(Node, Results, Acc1) ->
              case dict:find(Key, Results) of 
                  {ok, Value} ->
  