Boolean_ring