Tag Boolean algebra