A construction by Serge Plotkin to solve 1-bit consensus.