A system of logic (The Reasoner, 2009)