Text this: Logic Colloquium '86 :