Boolean Algebra Consensus Property