Commit 7 Ok everything should be good with regular paxos now.