Boolean theorems