Notes on boolean operations.