propositional analysis