A model of propositional logic