anchor.diff:              true ->
                   debug("node ~p agrees on membership: ~p", 
                         [Node, SortedMembers]),
  -                ok;
  +                true;
               false ->
                   debug("node ~p disagrees on membership: ~p != ~p", 
                         [Node, SortedMembers, SortedNames]),
  
positive.code:         true ->
              debug("sync_leave_cluster: leaving node ~p from cluster with members ~p", [Node, JoinedNodes]),
  
              %% Issue remove.
              rpc:call(?NAME(Node), ?MANAGER, leave, []),
  
              %% Wait until all nodes agree about membership.
              ok = wait_until_nodes_agree_on_membership(JoinedNodes -- [Node]),
  
negative.code: 
      Result.
  
  sync_leave_cluster(Node, [JoinedNode|_]=JoinedNodes) ->
      command_preamble(Node, [sync_leave_cluster, JoinedNodes]),
  
      Result = case enough_nodes_connected_to_issue_remove(JoinedNodes) of
  