Inference, Consequence, and Meaning, 3-4 December. tr 2009, 3 (1).