Nature of reasoning - Leighton, Walker (New York, 2004)