anchor.diff:              end,
               % status must remain!
               ?equals(Fail, tx_tlog:get_entry_status(NewEntry));
  -        ?value ->
  +        Status when Status =:= ?value orelse Status =:= ?partial_value ->
               % result must be the same as if executed alone
               % note: previous write may have changed the value!
               {ExpResAlone, ReqsAlone} =
  
positive.code:                             ?assert_w_note(length(SubList) =< erlang:abs(Len), Note),
                              ?equals_w_note(lists:subtract(SubList, NewValue), [], Note),
                              ?equals_w_note(ListLength, length(NewValue), Note),
                              ?equals_pattern(tx_tlog:get_entry_status(NewEntry),
                                      X when X =:= ?value orelse X =:= ?partial_value);
                          {fail, not_a_list} ->
                              ?equals(tx_tlog:get_entry_status(NewEntry),
                                      {fail, abort}),
                              ?equals(tx_tlog:get_entry_value(NewEntry),
                                      tx_tlog:get_entry_value(OldEntry))
                      end
              end;
          ?partial_value ->
              todo % TODO
      end.
  
  
  
negative.code:                             rdht_tx:encode_value(Value)),
                      ?equals(NRes, [{ok}]);
                  {read, _Key} ->
                      if Status =:= ?partial_value ->
                             ?equals([tx_tlog:set_entry_status(OldEntry, ?value) | tl(TLog)], NTLog);
                         Status =:= ?value ->
                             ?equals(TLog, NTLog)
                      end,
                      case tx_tlog:get_entry_operation(OldEntry) of
                          ?read ->
                              ?equals(NRes, [{ok, RingVal}]);
  