SLR 15 – Boolean algebra