Do not update/delete: Banner broadcast message test data
Do not update/delete: Notification broadcast message test data
Create a nand-only propositional formula.
Propositional and predicate logic for Haskell
