BB Snapshot - De Morgan Theorems