First Formal Epistemology Festival, 28-30 July. tr 2008, 2 (9).