Sri | Removing annoying run messages in Paxos