anchor.diff:      ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
   
       ok.
  +
  +%% @private
  +check_delivery() ->
  +    RunnerNode = node(),
  +
  +    ?PROPERTY_MODULE:command_preamble(RunnerNode, [check_delivery]),
  +
  +    %% Get first node.
  +    [{nodes, Nodes}] = ets:lookup(prop_partisan, nodes),
  +    {FirstName, _} = hd(Nodes),
  +
  +    %% Get session.
  +    [{zraft_session, ZraftSession}] = ets:lookup(prop_partisan, zraft_session),
  +
  +    Result = lists:map(fun(Key) ->
  +        node_debug("=> retrieving value for key: ~p", [Key]),
  +
  +        case rpc:call(?NAME(FirstName), zraft_client, query, [ZraftSession, Key, 1000]) of 
  +            {{ok, Value}, _} ->
  +                node_debug("=> found value: ~p", [Value]),
  +                {Key, Value};
  +            {not_found, _} ->
  +                node_debug("=> key not found", []),
  +                {Key, not_found};
  +            {error, all_failed} ->
  +                node_debug("=> all nodes failed!", []),
  +                {Key, failed}
  +        end
  +    end, keys()),
  +
  +    ?PROPERTY_MODULE:command_conclusion(RunnerNode, [check_delivery]),
  +
  +    Result.
  +
  +%% @private
  +session_read(Node, Key) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [session_read, Node, Key]),
  +
  +    %% Get session.
  +    [{zraft_session, ZraftSession}] = ets:lookup(prop_partisan, zraft_session),
  +
  +    Result = rpc:call(?NAME(Node), zraft_client, query, [ZraftSession, Key, 1000]),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [session_read, Node, Key]),
  +
  +    Result.
  +
  +%% @private
  +session_write(Node, Key, Value) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [session_write, Node, Key, Value]),
  +
  +    %% Get session.
  +    [{zraft_session, ZraftSession}] = ets:lookup(prop_partisan, zraft_session),
  +
  +    Result = rpc:call(?NAME(Node), zraft_client, write, [ZraftSession, {Key, Value}, 1000]),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [session_write, Node, Key, Value]),
  +
  +    Result.
   
   %% @private
   write(Node, Key, Value) ->
  
positive.code:     %% Get first node.
      FirstNode = {FirstName, _} = hd(Nodes),
  
      %% Initialize a Raft cluster.
      {ok, Nodes} = rpc:call(?NAME(FirstName), zraft_client, create, [Nodes, zraft_dict_backend]),
  
      %% Perform a single write.
      {ok, FirstNode} = rpc:call(?NAME(FirstName), zraft_client, write, [FirstNode, {1, 1}, 1000]),
  
      %% Perform a single read.
      {{ok, 1}, FirstNode} = rpc:call(?NAME(FirstName), zraft_client, query, [FirstNode, 1, 1000]),
  
      node_debug("zraft_lib fully initializaed...", []),
  
      ok.
  
  
negative.code:     false.
  
  %% Next state.
  node_next_state(_State, NodeState, {error, noproc}, {call, ?MODULE, write, [_Node, _Key, _Value]}) ->
      NodeState;
  node_next_state(_State, #node_state{values=Values0}=NodeState, _Response, {call, ?MODULE, session_write, [_Node, Key, Value]}) ->
      Values = dict:store(Key, Value, Values0),
      NodeState#node_state{values=Values};
  node_next_state(_State, #node_state{values=Values0}=NodeState, _Response, {call, ?MODULE, write, [_Node, Key, Value]}) ->
      Values = dict:store(Key, Value, Values0),
      NodeState#node_state{values=Values};
  node_next_state(_State, NodeState, _Response, {call, ?MODULE, session_read, [_Node, _Key]}) ->
      NodeState;
  node_next_state(_State, NodeState, _Response, {call, ?MODULE, read, [_Node, _Key]}) ->
      NodeState;
  node_next_state(_State, NodeState, _Response, {call, ?MODULE, sleep, []}) ->
  