Consensus and Correctness