Propositions, Context, and Consequence, 20-21 March. tr 2010, 4 (6).