Logic, expectation and consensus