Email Record: Logic colloquium