2009. A system of logic. The Reasoner. 3, 10 (Oct. 2009).