Working on Propositional Logic.
small edits