2008. Reasoning: how we’re doing it. The Reasoner. 2, 1 (Jan. 2008).