Propositional Methodology