Propositional analysis