commit paxos1, incorporated fully and learns