Email Record: Logic Colloquium '86 :