anchor.diff:          false ->
               ok
       end.
  -
  -%% @doc Get the list of keys that are owned by this partition.
  --spec pvc_get_partition_keys(partition_id(), list(key())) -> list(key()).
  -pvc_get_partition_keys(SelfPartition, WriteSet) ->
  -    lists:filtermap(fun({Key, _, _}) ->
  -        {Partition, _} = log_utilities:get_key_partition(Key),
  -        case Partition of
  -            SelfPartition ->
  -                {true, Key};
  -            _ ->
  -                false
  -        end
  -    end, WriteSet).
   
   prepare(Transaction, TxWriteSet, CommittedTx, PreparedTx, PrepareTime, PreparedDict) ->
       TxId = Transaction#transaction.txn_id,
  
positive.code:             pvc_are_keys_stale(SelfPartition, Keys, PrepareVC, CommittedTx)
      end.
  
  -spec pvc_store_key_commitvc(partition_id(), cache_id(), list(), vectorclock_partition:partition_vc()) -> ok.
  pvc_store_key_commitvc(SelfPartition, CommittedTx, WriteSet, CommitVC) ->
      Keys = pvc_get_partition_keys(SelfPartition, WriteSet),
      Objects = [{Key, CommitVC} || Key <- Keys],
      true = ets:insert(CommittedTx, Objects),
      ok.
  
  
negative.code:         .time#pvc_time
          .vcdep,
  
      %% Get the keys in the writeset
      PartitionKeys = [Key || {Key, _, _} <- WriteSet],
      StaleTx = pvc_are_keys_stale(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  
      {Vote, Seq, NewState} = case WriteSetDisputed orelse StaleTx of
  