propositional-variables