Corrected propositional rules