fixed some errors, now just have to figure out this unstratisfiable thing and I think that this is approaching a working multipaxos implementation, just need to add some additional sequence numbers
fixed some errors, now just have to figure out this unstratisfiable thing and I think that this is approaching a working multipaxos implementation, just need to add some additional sequence numbers

amfeng/programthecloud-fa11,amfeng/programthecloud-fa11