anchor.diff:      State#state{exp_result = {error, {n_val_violation, N}}};
   expect(State = #state{real_pr = RealPR, num_primaries = NumPrimaries}) when RealPR > NumPrimaries ->
       State#state{exp_result = {error, {pr_val_unsatisfied, RealPR, NumPrimaries}}};
  -expect(State = #state{history = History, objects = Objects}) ->
  +expect(State = #state{history = History, objects = Objects,
  +                      deletedvclock = DeletedVClock, deleted = _Deleted}) ->
       H = [ V || {_, V} <- History ],
       State1 = expect(H, State, 0, 0 , 0, 0, []),
       case State1#state.exp_result of
           {ok, Heads} ->
  -            case riak_kv_util:obj_not_deleted(build_merged_object(Heads, Objects)) of
  +            Object = build_merged_object(Heads, Objects),
  +            case riak_kv_util:obj_not_deleted(Object) of
  +                undefined when DeletedVClock ->
  +                    State1#state{exp_result = {error, {deleted,
  +                                 riak_object:vclock(Object)}}};
                   undefined -> State1#state{exp_result = {error, notfound}};
                   Obj       -> State1#state{exp_result = {ok, Obj}}
               end;
  
positive.code: option() -> 
      frequency([{1, {details, details()}},
                 {1, bool_prop(notfound_ok)},
                 {1, bool_prop(basic_quorum)}]).
  
  options() ->
  
negative.code:                 options,
                  notfound_is_ok,
                  basic_quorum,
                  deletedvclock,
                  exp_result,
                  num_oks = 0,
                  del_oks = 0,
  