anchor.diff:      Result = rpc:call(?NAME(Node), riak_ensemble_client, kover, [root, Key, Value, 5000], 5000),
   
       ?PROPERTY_MODULE:command_conclusion(Node, [write, Key, Value]),
  +
  +    Result.
  +
  +%% @private
  +read() ->
  +    RunnerNode = node(),
  +
  +    ?PROPERTY_MODULE:command_preamble(RunnerNode, [read]),
  +
  +    %% Get all keys.
  +    Node = hd(names()),
  +
  +    Result = lists:map(fun(Key) ->
  +        {ok, Value} = rpc:call(?NAME(Node), riak_ensemble_client, kget, [root, Key, 5000], 5000),
  +        {Key, Value}
  +    end, keys()),
  +
  +    ?PROPERTY_MODULE:command_conclusion(RunnerNode, [read]),
   
       Result.
   
  
positive.code: %% Postconditions for node commands.
  node_postcondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}, {ok, _}) ->
      true;
  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: %%%===================================================================
  
  key() ->
      oneof(keys()).
  
  keys() ->
      [rkey].
  
  value() ->
      oneof([value1, value2, value3]).
  
  node_name() ->
      oneof(names()).
  