propositional variables