anchor.diff:              default;
           Other ->
               list_to_atom(Other)
  +    end.
  +
  +%% @private
  +fault_tolerance() ->
  +    case os:getenv("FAULT_TOLERANCE") of 
  +        false ->
  +            0;
  +        ToleranceString ->
  +            list_to_integer(ToleranceString)
       end.
positive.code:     timer:sleep(1000),
  
      Results = lists:foldl(fun(Node, Acc) ->
          case rpc:call(?NAME(Node), implementation_module(), state, [], infinity) of
              {ok, State} ->
                  dict:store(Node, State, Acc);
              {badrpc, _} ->
  
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]),
  