added content: propositional logic