propositional constants