consider propositional logic