BooleanAlgebra 0