2009. Some new propositional inferences. The Reasoner. 3, 11 (Nov. 2009).