Cobley, P. Second-Order Thinking, First-Class Reasoning. SIJS 2010, 4, 69-107.