WIP Chapter 2 : Propositional logic