Some New Propositional Inferences. tr 2009, 3 (11).