British Logic Colloquium, 4–6 September. tr 2008, 2 (12).