anchor.diff:          _ ->
               false
       end;
  +node_postcondition(_NodeState, {call, ?MODULE, sleep, []}, _Result) ->
  +    true;
   node_postcondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}, {ok, _}) ->
       true;
   node_postcondition(_NodeState, Command, Response) ->
  
positive.code: 
  %% Global functions.
  node_global_functions() ->
      [].
  
  %% What should the initial node state be.
  node_initial_state() ->
  
negative.code: 
  -define(ETS, prop_partisan).
  -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
  
  %% @private
  sleep() ->
      RunnerNode = node(),
  
      ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
  
      node_debug("sleeping for convergence...", []),
      timer:sleep(40000),
  
      ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
  
      ok.
  
  %% @private
  write(Node, Key, Value) ->
  