https://lirneasia.net/2009/04/rough-consensus-and-running-code/