anchor.diff:      timer:sleep(1000),
   
       Results = lists:foldl(fun(Node, Acc) ->
  -        case rpc:call(?NAME(Node), implementation_module(), state, [], infinity) of
  +        case rpc:call(?NAME(Node), implementation_module(), store, [], infinity) of
               {ok, State} ->
                   dict:store(Node, State, Acc);
               {badrpc, _} ->
  
positive.code:             default;
          Other ->
              list_to_atom(Other)
      end.
negative.code:         end
      end, true, AllResults),
  
      Tolerance = fault_tolerance(),
      node_debug("=> Tolerance: ~p", [Tolerance]),
  
      node_debug("=> written values: ~p", [dict:to_list(Store)]),
      node_debug("=> StoreToNodeResult: ~p", [StoreToNodeResult]),
      node_debug("=> NodeToStoreResult: ~p", [NodeToStoreResult]),
      node_debug("=> NodesMissingValues: ~p", [NodesMissingValues]),
  
      (StoreToNodeResult andalso NodeToStoreResult) orelse
      (not StoreToNodeResult andalso NodeToStoreResult andalso length(NodesMissingValues) =< Tolerance);
  node_postcondition(_NodeState, Command, Response) ->
      node_debug("generic postcondition fired (this probably shouldn't be hit) for command: ~p with response: ~p", 
                 [Command, Response]),
  