Lemma candidateEntries_wonElection : forall (net : network (params := raft_refined_multi_params)) e h, one_vote_per_term net -> cronies_votes net -> votes_received_cronies net -> candidateEntries e (nwState net) -> currentTerm (snd (nwState net h)) = eTerm e -> wonElection (dedup name_eq_dec (votesReceived (snd (nwState net h)))) = true -> type (snd (nwState net h)) <> Candidate.