propositional

not defined yet