Update Propositional.lhs