Redirecting to Boolean algebra (structure)