The Paxos algorithm, when presented in plain English, is very simple (2021)