propositionally

not defined yet