Email Record: ISILC proof theory symposion: