In modified Paxos we can't enter the same value multiple times into the log when it's decided