anchor.diff:              {dropped, util:max(LatestSeenRead, LatestSeenWrite)}
       end.
   
  +-spec is_partial_write(prbr:write_filter()) -> boolean().
  +is_partial_write(Any) -> fun prbr:noop_write_filter/3 =:= Any.
  +
   -spec get_wti_key(any())-> any().
   get_wti_key(Key) -> {Key, wti}.
   
  
positive.code:             _ ->
                  pr:set_wf(InRound, {WriteFilter, PassedToUpdate, Value})
          end,
      _ = case writable(KeyEntry, RoundForWrite, OldWriteRound) of
              {ok, NewKeyEntry, NextWriteRound} ->
                  {NewVal, Ret} =
                      case erlang:function_exported(DataType, prbr_write_handler, 5) of
  
negative.code:     LatestSeenWriteId = pr:get_id(LatestSeenWrite),
      OldWriteR = pr:get_r(OldWriteRound),
      OldWriteId = pr:get_id(OldWriteRound),
      IsNotPartialWrite = not is_partial_write(WF),
      if ((InRoundR =:= LatestSeenReadR andalso InRoundId =:= LatestSeenReadId)
          orelse (InRoundR > LatestSeenReadR))
         andalso (InRoundR > LatestSeenWriteR)
         %% make sure that no write filter operations are missing in the
         %% sequence of writes
         andalso (IsNotPartialWrite orelse
                      (OldWriteR =:= LatestSeenWriteR
                      andalso OldWriteId =:= LatestSeenWriteId)) ->
  
             T1Entry = entry_set_r_write(Entry, InRound),
             %% prepare fast_paxos for this client:
  