anchor.diff:              PrepareTime = vectorclock_partition:get_partition_time(SelfPartition, PrepareVC),
               CommitTime > PrepareTime
       end,
  -    case IsTooFresh of
  +    case StaleKey of
           true ->
               true;
   
           false ->
  -            pvc_are_keys_too_fresh(SelfPartition, Keys, PrepareVC, CommittedTx)
  +            pvc_are_keys_stale(SelfPartition, Keys, PrepareVC, CommittedTx)
       end.
   
   -spec pvc_store_key_commitvc(partition_id(), cache_id(), list(), vectorclock_partition:partition_vc()) -> ok.
  
positive.code:         .vcdep,
  
      PartitionKeys = pvc_get_partition_keys(Partition, WriteSet),
      TooFresh = pvc_are_keys_too_fresh(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  
      {Vote, Seq, NewState} = case WriteSetDisputed orelse TooFresh of
          true ->
              Reason = case WriteSetDisputed of
                  true ->
  
negative.code:                 _ ->
                      pvc_stale_vc
              end,
              lager:info("{~p} PVC writeset disputed [~p] or tx is too stale [~p]", [erlang:phash2(TxnId), WriteSetDisputed, StaleTx]),
              {{false, Reason}, ignore, State};
  
          false ->
  