Formal Epistemology Festival, 2–5 June. tr 2013, 7 (7).