Paxos TLA+ specification of paxos Acknowledgment Recieved suggestions for TLA specification writting from @vang1ong7ang and @lemmy. Thanks a lot for your help.