anchor.diff:  -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
   
   %% @private
  +sleep() ->
  +    RunnerNode = node(),
  +
  +    ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
  +
  +    timer:sleep(4000),
  +
  +    ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
  +
  +    ok.
  +
  +%% @private
  +set_fault(Node, Value) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [set_fault, Node, Value]),
  +
  +    Result = rpc:call(?NAME(Node), partisan_config, set, [faulted, Value], ?TIMEOUT),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [set_fault, Node, Value]),
  +
  +    Result.
  +
  +%% @private
   next_id(Node) ->
  -    ?PROPERTY_MODULE:command_preamble(Node, [next_id]),
  -
  -    Result = rpc:call(?NAME(Node), paxoid, next_id, [?GROUP], 5000),
  -
  -    ?PROPERTY_MODULE:command_conclusion(Node, [next_id]),
  +    ?PROPERTY_MODULE:command_preamble(Node, [next_id, Node]),
  +
  +    Result = rpc:call(?NAME(Node), paxoid, next_id, [?GROUP], ?TIMEOUT),
  +    node_debug("*** next_id for node: ~p yieleded: ~p", [node(), Result]),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [next_id, Node]),
   
       Result.
   
  
positive.code: 
  %% What node-specific operations should be called.
  node_commands() ->
      [{call, ?MODULE, next_id, [node_name()]}].
  
  %% Assertion commands.
  node_assertion_functions() ->
  
negative.code:     lists:map(fun({call, _Mod, Fun, _Args}) -> Fun end, node_commands()).
  
  %% Precondition.
  node_precondition(_NodeState, {call, ?MODULE, sleep, []}) ->
      true;
  node_precondition(_NodeState, {call, ?MODULE, set_fault, [_Node, _Value]}) ->
      true;
  node_precondition(_NodeState, {call, ?MODULE, next_id, [_Node]}) ->
      true;
  node_precondition(_NodeState, _Command) ->
  