Consensus theorem examples