anchor.diff:  learner_votes(Entry, Proposer, ProposalNumber) ->
       Votes = element(4, Entry),
       Key = {Proposer, ProposalNumber},
  -    %ct:pal("~p", [Votes]),
       case lists:keyfind(Key, 1, Votes) of
           false -> 0;
           E -> element(2, E)
  
positive.code:     BufVal = entry_bufval(Entry),
      NewPropVal = DataType:merge(PropVal, BufVal),
      case entry_status(Entry) =:= passive
          andalso (ForceProposal orelse DataType:lt(PropVal, NewPropVal)) of
          true ->
              NewPropNum = entry_propnum(Entry) + 1,
              NewEntry1 = entry_set_ackcount(Entry, 0),
  
negative.code: 
      NewEntry = learner_add_vote(Entry, ProposerId, ProposalNumber),
      VoteCount = learner_votes(NewEntry, ProposerId, ProposalNumber),
      Learnt = learner_learnt(NewEntry),
      NewEntry2 =
          case replication:quorum_accepted(VoteCount) andalso
  