Email Record: Completeness theory for propositional logics /