Consensus Is Hard